ocamlyacc -v outputparser.mly
ocamllex outputlexer.mll
ocamlopt -a -o ssolver.cmxa alfp.ml outputparser.mli outputparser.ml outputlexer.ml ssolver.ml
